An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems
نویسندگان
چکیده
Considering both qualitative and quantitative aspects in the same modeling approach enhances coherency when analyzing concurrent system properties. Moreover, the impacts of changes related to functional and temporal features are generally better highlighted. In this paper, the authors present their approach to model and analyze behavioral and temporal properties of true concurrency systems. Compared to existing models, the underlying Maximality semantics allows to prune the state space. A specification language is also proposed, extending the LOTOS Process Algebra, in order to support any kind of action durations, like immediate, deterministic, Markovian or arbitrarily distributed ones. An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems
منابع مشابه
Concurrent Optimization of Patients’ Trust and Integrated Resilience Engineering: A Z-Number Data Envelopment Analysis Approach
Background and Objectives: Emergency departments often encounter several risk and health issues which significantly impact on overall healthcare performance. Resilience engineering (RE) enables emergency departments to confront sudden changes and handling health risk issues. Patient trust (PT) is also one of the most effective factors which improve quality of care along with pa...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملA Bayesian Networks Approach to Reliability Analysis of a Launch Vehicle Liquid Propellant Engine
This paper presents an extension of Bayesian networks (BN) applied to reliability analysis of an open gas generator cycle Liquid propellant engine (OGLE) of launch vehicles. There are several methods for system reliability analysis such as RBD, FTA, FMEA, Markov Chains, and etc. But for complex systems such as LV, they are not all efficiently applicable due to failure dependencies between compo...
متن کاملAn approach to fault detection and correction in design of systems using of Turbo codes
We present an approach to design of fault tolerant computing systems. In this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. Code combining techniques are very effective, which one of these codes are turbo codes. The Algorithm-based fault tolerance techniques that to detect errors rely on the c...
متن کاملStochastic Optimal Operation and Risk Analysis for Integrated Power and Gas Systems
The increment integration of renewable distributed energies means the desired operation of the electric power system will significantly depend on the performance of primary energy. In this order, an integrated approach for mutual interaction between the electricity and natural gas systems has been considered for the purpose of ensuring optimal energy exchanging between the electric power system...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IJSSOE
دوره 5 شماره
صفحات -
تاریخ انتشار 2015